Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets

Factoring and warehouse distribution centers face numerous and interrelated challenges in their e orts to move products and materials through their facilities. New technologies in navigation and guidance allow true autonomy with more exibility and resource e ciency. In this paper we investigate a complete design approach to obtain deadlock-free minimal adaptive routing algorithms for these systems. The approach is based in an abstract view of the system as a Resource Allocation System. The interconnection network and the routing algorithm elaborated by the designer, are the initial information used to obtain in an automatic way a Petri Net model. For this kind of routing algorithms, we prove that the obtained Petri Net belongs to the well-known class of SPR net systems, and therefore the rich set of analysis and synthesis results can be applied to enforce the liveness property of the routing algorithm.